1

Provability Logic || Explicit Fixed Points in Interpretability Logic

Année:
1991
Langue:
english
Fichier:
PDF, 1.00 MB
english, 1991